Predicate a-enter : x.equals("a") ;
Predicate b-enter : x.equals("b") ;
Formula : ~ ((a-enter + b-enter)* a-enter b-enter (a-enter + b-enter)*)       
Violation Handler :
System.out.println("Fomula Violated!");
